
@colorText: #444;

// This doesn't set the editor's background (this is done in their theme) - it's just the same color they use
@colorEditorBg: #2b2b2b;
